home *** CD-ROM | disk | FTP | other *** search
/ The World's Largest Collection of Windows Software / The World's Largest Collection of Windows Software - Disc 2.iso / textproc / _j1 / tex2rtf / tex2rtf.tex / labels.pl < prev    next >
Text File  |  1993-10-26  |  11KB  |  430 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate labels original text with physical files.
  3.  
  4.  
  5. $key = q/HUGE3/;
  6. $external_labels{$key} = "$URL/" . q|node62_ct.html|; 
  7. $noresave{$key} = "$nosave";
  8.  
  9. $key = q/Huge2/;
  10. $external_labels{$key} = "$URL/" . q|node61_ct.html|; 
  11. $noresave{$key} = "$nosave";
  12.  
  13. $key = q/LARGE3/;
  14. $external_labels{$key} = "$URL/" . q|node72_ct.html|; 
  15. $noresave{$key} = "$nosave";
  16.  
  17. $key = q/LaTeX/;
  18. $external_labels{$key} = "$URL/" . q|node73_ct.html|; 
  19. $noresave{$key} = "$nosave";
  20.  
  21. $key = q/Large2/;
  22. $external_labels{$key} = "$URL/" . q|node71_ct.html|; 
  23. $noresave{$key} = "$nosave";
  24.  
  25. $key = q/TeX/;
  26. $external_labels{$key} = "$URL/" . q|node106_ct.html|; 
  27. $noresave{$key} = "$nosave";
  28.  
  29. $key = q/abstract/;
  30. $external_labels{$key} = "$URL/" . q|node14_ct.html|; 
  31. $noresave{$key} = "$nosave";
  32.  
  33. $key = q/addcontentsline/;
  34. $external_labels{$key} = "$URL/" . q|node15_ct.html|; 
  35. $noresave{$key} = "$nosave";
  36.  
  37. $key = q/author/;
  38. $external_labels{$key} = "$URL/" . q|node16_ct.html|; 
  39. $noresave{$key} = "$nosave";
  40.  
  41. $key = q/backslash/;
  42. $external_labels{$key} = "$URL/" . q|node17_ct.html|; 
  43. $noresave{$key} = "$nosave";
  44.  
  45. $key = q/bf/;
  46. $external_labels{$key} = "$URL/" . q|node18_ct.html|; 
  47. $noresave{$key} = "$nosave";
  48.  
  49. $key = q/bibitem/;
  50. $external_labels{$key} = "$URL/" . q|node19_ct.html|; 
  51. $noresave{$key} = "$nosave";
  52.  
  53. $key = q/bibliography/;
  54. $external_labels{$key} = "$URL/" . q|node21_ct.html|; 
  55. $noresave{$key} = "$nosave";
  56.  
  57. $key = q/bibliographystyle/;
  58. $external_labels{$key} = "$URL/" . q|node20_ct.html|; 
  59. $noresave{$key} = "$nosave";
  60.  
  61. $key = q/boxit/;
  62. $external_labels{$key} = "$URL/" . q|node22_ct.html|; 
  63. $noresave{$key} = "$nosave";
  64.  
  65. $key = q/caption/;
  66. $external_labels{$key} = "$URL/" . q|node23_ct.html|; 
  67. $noresave{$key} = "$nosave";
  68.  
  69. $key = q/cdots/;
  70. $external_labels{$key} = "$URL/" . q|node24_ct.html|; 
  71. $noresave{$key} = "$nosave";
  72.  
  73. $key = q/center/;
  74. $external_labels{$key} = "$URL/" . q|node26_ct.html|; 
  75. $noresave{$key} = "$nosave";
  76.  
  77. $key = q/centerline/;
  78. $external_labels{$key} = "$URL/" . q|node25_ct.html|; 
  79. $noresave{$key} = "$nosave";
  80.  
  81. $key = q/cextract/;
  82. $external_labels{$key} = "$URL/" . q|node27_ct.html|; 
  83. $noresave{$key} = "$nosave";
  84.  
  85. $key = q/chapter/;
  86. $external_labels{$key} = "$URL/" . q|node29_ct.html|; 
  87. $noresave{$key} = "$nosave";
  88.  
  89. $key = q/chaptersX/;
  90. $external_labels{$key} = "$URL/" . q|node28_ct.html|; 
  91. $noresave{$key} = "$nosave";
  92.  
  93. $key = q/cinsert/;
  94. $external_labels{$key} = "$URL/" . q|node30_ct.html|; 
  95. $noresave{$key} = "$nosave";
  96.  
  97. $key = q/cite/;
  98. $external_labels{$key} = "$URL/" . q|node31_ct.html|; 
  99. $noresave{$key} = "$nosave";
  100.  
  101. $key = q/class/;
  102. $external_labels{$key} = "$URL/" . q|node32_ct.html|; 
  103. $noresave{$key} = "$nosave";
  104.  
  105. $key = q/clipsfunc/;
  106. $external_labels{$key} = "$URL/" . q|node33_ct.html|; 
  107. $noresave{$key} = "$nosave";
  108.  
  109. $key = q/comment/;
  110. $external_labels{$key} = "$URL/" . q|node34_ct.html|; 
  111. $noresave{$key} = "$nosave";
  112.  
  113. $key = q/copyright/;
  114. $external_labels{$key} = "$URL/" . q|node35_ct.html|; 
  115. $noresave{$key} = "$nosave";
  116.  
  117. $key = q/cparam/;
  118. $external_labels{$key} = "$URL/" . q|node36_ct.html|; 
  119. $noresave{$key} = "$nosave";
  120.  
  121. $key = q/date/;
  122. $external_labels{$key} = "$URL/" . q|node37_ct.html|; 
  123. $noresave{$key} = "$nosave";
  124.  
  125. $key = q/description/;
  126. $external_labels{$key} = "$URL/" . q|node38_ct.html|; 
  127. $noresave{$key} = "$nosave";
  128.  
  129. $key = q/document/;
  130. $external_labels{$key} = "$URL/" . q|node40_ct.html|; 
  131. $noresave{$key} = "$nosave";
  132.  
  133. $key = q/documentstyle/;
  134. $external_labels{$key} = "$URL/" . q|node39_ct.html|; 
  135. $noresave{$key} = "$nosave";
  136.  
  137. $key = q/em/;
  138. $external_labels{$key} = "$URL/" . q|node41_ct.html|; 
  139. $noresave{$key} = "$nosave";
  140.  
  141. $key = q/enumerate/;
  142. $external_labels{$key} = "$URL/" . q|node42_ct.html|; 
  143. $noresave{$key} = "$nosave";
  144.  
  145. $key = q/errors/;
  146. $external_labels{$key} = "$URL/" . q|node115_ct.html|; 
  147. $noresave{$key} = "$nosave";
  148.  
  149. $key = q/fbox/;
  150. $external_labels{$key} = "$URL/" . q|node43_ct.html|; 
  151. $noresave{$key} = "$nosave";
  152.  
  153. $key = q/figure/;
  154. $external_labels{$key} = "$URL/" . q|node44_ct.html|; 
  155. $noresave{$key} = "$nosave";
  156.  
  157. $key = q/flushleft/;
  158. $external_labels{$key} = "$URL/" . q|node45_ct.html|; 
  159. $noresave{$key} = "$nosave";
  160.  
  161. $key = q/flushright/;
  162. $external_labels{$key} = "$URL/" . q|node46_ct.html|; 
  163. $noresave{$key} = "$nosave";
  164.  
  165. $key = q/footnote/;
  166. $external_labels{$key} = "$URL/" . q|node47_ct.html|; 
  167. $noresave{$key} = "$nosave";
  168.  
  169. $key = q/framebox/;
  170. $external_labels{$key} = "$URL/" . q|node48_ct.html|; 
  171. $noresave{$key} = "$nosave";
  172.  
  173. $key = q/func/;
  174. $external_labels{$key} = "$URL/" . q|node50_ct.html|; 
  175. $noresave{$key} = "$nosave";
  176.  
  177. $key = q/functionsection/;
  178. $external_labels{$key} = "$URL/" . q|node49_ct.html|; 
  179. $noresave{$key} = "$nosave";
  180.  
  181. $key = q/helpfontfamily/;
  182. $external_labels{$key} = "$URL/" . q|node54_ct.html|; 
  183. $noresave{$key} = "$nosave";
  184.  
  185. $key = q/helpfontsize/;
  186. $external_labels{$key} = "$URL/" . q|node55_ct.html|; 
  187. $noresave{$key} = "$nosave";
  188.  
  189. $key = q/helpignore/;
  190. $external_labels{$key} = "$URL/" . q|node51_ct.html|; 
  191. $noresave{$key} = "$nosave";
  192.  
  193. $key = q/helpinput/;
  194. $external_labels{$key} = "$URL/" . q|node53_ct.html|; 
  195. $noresave{$key} = "$nosave";
  196.  
  197. $key = q/helponly/;
  198. $external_labels{$key} = "$URL/" . q|node52_ct.html|; 
  199. $noresave{$key} = "$nosave";
  200.  
  201. $key = q/helpref/;
  202. $external_labels{$key} = "$URL/" . q|node56_ct.html|; 
  203. $noresave{$key} = "$nosave";
  204.  
  205. $key = q/helprefX/;
  206. $external_labels{$key} = "$URL/" . q|node57_ct.html|; 
  207. $noresave{$key} = "$nosave";
  208.  
  209. $key = q/hline/;
  210. $external_labels{$key} = "$URL/" . q|node58_ct.html|; 
  211. $noresave{$key} = "$nosave";
  212.  
  213. $key = q/hrule/;
  214. $external_labels{$key} = "$URL/" . q|node59_ct.html|; 
  215. $noresave{$key} = "$nosave";
  216.  
  217. $key = q/huge1/;
  218. $external_labels{$key} = "$URL/" . q|node60_ct.html|; 
  219. $noresave{$key} = "$nosave";
  220.  
  221. $key = q/image/;
  222. $external_labels{$key} = "$URL/" . q|node67_ct.html|; 
  223. $noresave{$key} = "$nosave";
  224.  
  225. $key = q/include/;
  226. $external_labels{$key} = "$URL/" . q|node63_ct.html|; 
  227. $noresave{$key} = "$nosave";
  228.  
  229. $key = q/input/;
  230. $external_labels{$key} = "$URL/" . q|node64_ct.html|; 
  231. $noresave{$key} = "$nosave";
  232.  
  233. $key = q/it/;
  234. $external_labels{$key} = "$URL/" . q|node68_ct.html|; 
  235. $noresave{$key} = "$nosave";
  236.  
  237. $key = q/item/;
  238. $external_labels{$key} = "$URL/" . q|node66_ct.html|; 
  239. $noresave{$key} = "$nosave";
  240.  
  241. $key = q/itemize/;
  242. $external_labels{$key} = "$URL/" . q|node65_ct.html|; 
  243. $noresave{$key} = "$nosave";
  244.  
  245. $key = q/label/;
  246. $external_labels{$key} = "$URL/" . q|node69_ct.html|; 
  247. $noresave{$key} = "$nosave";
  248.  
  249. $key = q/large1/;
  250. $external_labels{$key} = "$URL/" . q|node70_ct.html|; 
  251. $noresave{$key} = "$nosave";
  252.  
  253. $key = q/ldots/;
  254. $external_labels{$key} = "$URL/" . q|node74_ct.html|; 
  255. $noresave{$key} = "$nosave";
  256.  
  257. $key = q/macronotfound/;
  258. $external_labels{$key} = "$URL/" . q|node117_ct.html|; 
  259. $noresave{$key} = "$nosave";
  260.  
  261. $key = q/maketitle/;
  262. $external_labels{$key} = "$URL/" . q|node75_ct.html|; 
  263. $noresave{$key} = "$nosave";
  264.  
  265. $key = q/mbox/;
  266. $external_labels{$key} = "$URL/" . q|node76_ct.html|; 
  267. $noresave{$key} = "$nosave";
  268.  
  269. $key = q/member/;
  270. $external_labels{$key} = "$URL/" . q|node78_ct.html|; 
  271. $noresave{$key} = "$nosave";
  272.  
  273. $key = q/membersection/;
  274. $external_labels{$key} = "$URL/" . q|node77_ct.html|; 
  275. $noresave{$key} = "$nosave";
  276.  
  277. $key = q/newcommand/;
  278. $external_labels{$key} = "$URL/" . q|node79_ct.html|; 
  279. $noresave{$key} = "$nosave";
  280.  
  281. $key = q/newpage/;
  282. $external_labels{$key} = "$URL/" . q|node80_ct.html|; 
  283. $noresave{$key} = "$nosave";
  284.  
  285. $key = q/nocite/;
  286. $external_labels{$key} = "$URL/" . q|node81_ct.html|; 
  287. $noresave{$key} = "$nosave";
  288.  
  289. $key = q/noindent/;
  290. $external_labels{$key} = "$URL/" . q|node82_ct.html|; 
  291. $noresave{$key} = "$nosave";
  292.  
  293. $key = q/normalsize/;
  294. $external_labels{$key} = "$URL/" . q|node83_ct.html|; 
  295. $noresave{$key} = "$nosave";
  296.  
  297. $key = q/par/;
  298. $external_labels{$key} = "$URL/" . q|node87_ct.html|; 
  299. $noresave{$key} = "$nosave";
  300.  
  301. $key = q/param/;
  302. $external_labels{$key} = "$URL/" . q|node84_ct.html|; 
  303. $noresave{$key} = "$nosave";
  304.  
  305. $key = q/parindent/;
  306. $external_labels{$key} = "$URL/" . q|node85_ct.html|; 
  307. $noresave{$key} = "$nosave";
  308.  
  309. $key = q/parskip/;
  310. $external_labels{$key} = "$URL/" . q|node86_ct.html|; 
  311. $noresave{$key} = "$nosave";
  312.  
  313. $key = q/psboxto/;
  314. $external_labels{$key} = "$URL/" . q|node88_ct.html|; 
  315. $noresave{$key} = "$nosave";
  316.  
  317. $key = q/quotation/;
  318. $external_labels{$key} = "$URL/" . q|node90_ct.html|; 
  319. $noresave{$key} = "$nosave";
  320.  
  321. $key = q/quote/;
  322. $external_labels{$key} = "$URL/" . q|node89_ct.html|; 
  323. $noresave{$key} = "$nosave";
  324.  
  325. $key = q/ref/;
  326. $external_labels{$key} = "$URL/" . q|node91_ct.html|; 
  327. $noresave{$key} = "$nosave";
  328.  
  329. $key = q/rm/;
  330. $external_labels{$key} = "$URL/" . q|node92_ct.html|; 
  331. $noresave{$key} = "$nosave";
  332.  
  333. $key = q/rtfsp/;
  334. $external_labels{$key} = "$URL/" . q|node93_ct.html|; 
  335. $noresave{$key} = "$nosave";
  336.  
  337. $key = q/sc/;
  338. $external_labels{$key} = "$URL/" . q|node94_ct.html|; 
  339. $noresave{$key} = "$nosave";
  340.  
  341. $key = q/section/;
  342. $external_labels{$key} = "$URL/" . q|node96_ct.html|; 
  343. $noresave{$key} = "$nosave";
  344.  
  345. $key = q/sectionX/;
  346. $external_labels{$key} = "$URL/" . q|node95_ct.html|; 
  347. $noresave{$key} = "$nosave";
  348.  
  349. $key = q/shortcite/;
  350. $external_labels{$key} = "$URL/" . q|node97_ct.html|; 
  351. $noresave{$key} = "$nosave";
  352.  
  353. $key = q/small/;
  354. $external_labels{$key} = "$URL/" . q|node98_ct.html|; 
  355. $noresave{$key} = "$nosave";
  356.  
  357. $key = q/space/;
  358. $external_labels{$key} = "$URL/" . q|node8_ct.html|; 
  359. $noresave{$key} = "$nosave";
  360.  
  361. $key = q/subsection/;
  362. $external_labels{$key} = "$URL/" . q|node100_ct.html|; 
  363. $noresave{$key} = "$nosave";
  364.  
  365. $key = q/subsectionX/;
  366. $external_labels{$key} = "$URL/" . q|node99_ct.html|; 
  367. $noresave{$key} = "$nosave";
  368.  
  369. $key = q/subsubsection/;
  370. $external_labels{$key} = "$URL/" . q|node102_ct.html|; 
  371. $noresave{$key} = "$nosave";
  372.  
  373. $key = q/subsubsectionX/;
  374. $external_labels{$key} = "$URL/" . q|node101_ct.html|; 
  375. $noresave{$key} = "$nosave";
  376.  
  377. $key = q/tabbing/;
  378. $external_labels{$key} = "$URL/" . q|node103_ct.html|; 
  379. $noresave{$key} = "$nosave";
  380.  
  381. $key = q/tableofcontents/;
  382. $external_labels{$key} = "$URL/" . q|node104_ct.html|; 
  383. $noresave{$key} = "$nosave";
  384.  
  385. $key = q/tabular/;
  386. $external_labels{$key} = "$URL/" . q|node105_ct.html|; 
  387. $noresave{$key} = "$nosave";
  388.  
  389. $key = q/tiny/;
  390. $external_labels{$key} = "$URL/" . q|node108_ct.html|; 
  391. $noresave{$key} = "$nosave";
  392.  
  393. $key = q/title/;
  394. $external_labels{$key} = "$URL/" . q|node107_ct.html|; 
  395. $noresave{$key} = "$nosave";
  396.  
  397. $key = q/today/;
  398. $external_labels{$key} = "$URL/" . q|node109_ct.html|; 
  399. $noresave{$key} = "$nosave";
  400.  
  401. $key = q/tt/;
  402. $external_labels{$key} = "$URL/" . q|node110_ct.html|; 
  403. $noresave{$key} = "$nosave";
  404.  
  405. $key = q/typeout/;
  406. $external_labels{$key} = "$URL/" . q|node111_ct.html|; 
  407. $noresave{$key} = "$nosave";
  408.  
  409. $key = q/underline/;
  410. $external_labels{$key} = "$URL/" . q|node112_ct.html|; 
  411. $noresave{$key} = "$nosave";
  412.  
  413. $key = q/verbatim/;
  414. $external_labels{$key} = "$URL/" . q|node114_ct.html|; 
  415. $noresave{$key} = "$nosave";
  416.  
  417. $key = q/verbatiminput/;
  418. $external_labels{$key} = "$URL/" . q|node113_ct.html|; 
  419. $noresave{$key} = "$nosave";
  420.  
  421. 1;
  422.  
  423.  
  424. # LaTeX2HTML 2022 (Released January 1, 2022)
  425. # labels from external_latex_labels array.
  426.  
  427.  
  428. 1;
  429.  
  430.